Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
311	Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-11-27 15:43:03 Type theory Dependently typed programming Logic in computer science Proof theory Mathematical constructivism Function Intuitionistic type theory Axiom of choice Constructible universe Mathematical logic Mathematics Logic
312	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
313	THINK 37 (AND 37A) PROBLEM SET 1 This set is due by noon on Thursday, October 4 to Otis Chodosh. (We will explain later how to best get it to him.) Write solutions to four of the following eight problems. Pick problems Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2012-09-28 10:03:43 Group theory Mathematical logic Mathematical constants Complex analysis Pi Number Square root Angle trisection Mathematical proof Mathematics Mathematical analysis Exponentials
314	1 Solutions for a selected set of problems from the text “Mathematical Tools for Physics” by James Nearing 1.7 Factor the numerator of sinh 2y , it is the difference of squares: Add to Reading List Source URL: www.physics.miami.edu Language: English - Date: 2013-03-07 15:25:41 Special functions Logarithms Fourier analysis Trigonometric functions Inverse trigonometric functions Sine Unit circle Natural logarithm of 2 Proof that π is irrational Mathematics Elementary mathematics Trigonometry
315	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science
316	Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {.}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-04-10 11:01:31 Logic in computer science Rippling Theorem Formal methods Postcondition First-order logic Mathematical proof Precondition IP Logic Mathematics Theoretical computer science
317	Difference, Cognition, and Mathematics Education* VALERIE WALKERDINE An invited talk given to the International Group for the Psychology of Mathematics Education Mexico City, July 1990 Add to Reading List Source URL: flm-journal.org Language: English* - Date: 2014-05-15 16:16:03 Mathematics education Philosophy of mathematics Reason Logic Education Mathematical analysis Mathematician Mathematical proof Ethnomathematics Knowledge Mathematics Science
318	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
319	Divining the Question: An Unscientific Methodology for the Collection of Warm Data If tomorrow you found yourself with no passport and no birth certificate, and someone came up to you and said, “You no longer have the Add to Reading List Source URL: www.kabul-reconstructions.net Language: English - Date: 2011-05-10 15:20:12 Data collection Knowledge Grammar Human communication Question Mathematical proof Methodology Research methods Evaluation methods Science
320	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:47 Type theory Homotopy theory Proof theory Homotopy type theory First-order logic Constructivism Symbol Natural deduction Curry–Howard correspondence Mathematical logic Logic Mathematics

UPDATE